home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Tech Arsenal 1
/
Tech Arsenal (Arsenal Computer).ISO
/
tek-04
/
prolog_2.zip
/
LOGIC.ZIP
Text (5)
Name
Format
# Lines
Size
Date
LOXED.PRO
Text File
283
11KB
1987-04-03
SKOLEM.DOC
Text File
26
1KB
1986-11-07
SKOLEM.OPS
Text File
12
384b
1986-11-07
SKOLEM.PRO
Text File
141
4KB
1986-11-07
WANG.PRO
Text File
96
3KB
1987-04-03